Section: New Software and Platforms

CoqEAL

The Coq Effective Algebra Library

Keyword: Proof assistant

Functional Description: This library contains formal developments in algebra and optimized algorithms on mathcomp data structures and a framework to ease change of data representation during a proof.

Release Functional Description: First release

• Contact: Cyril Cohen